61. Elements of the system dynamics method
پدیدآورنده: International Conference on System Dynamics, 6791, Geilo, Norway
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Social sciences-- Mathematical models-- Congresses,، System analysis-- Congresses
رده :
H
61
.
I583
1976
62. Enterprise, Business-Process and Information Systems Modeling
پدیدآورنده: / [edited by] Ilia Bider...[et al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Business - Data processing - Congresses,Management information systems - Congresses,System analysis - Congresses,کسب و کار - داده‌پردازی - کنگره ها,نظام‌های اطلاعاتی مدیریت - کنگره‌ها,تجزیه و تحلیل سیستم‌ها - کنگره ها
رده :
HF5548
,.
2
.
E5
2010
63. Extremal methods and systems analysis
پدیدآورنده: / edited by A. V. Fiacco and K. O. Kortanek
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع: System analysis--Congresses,Programming (Mathematics)--Congresses,Game theory--Congresses,Economics, Mathematical--Congresses,Charnes, A.--(Abraham),--1917
رده :
QA402
.
I57
1977
64. Extremal methods and systems analysis
پدیدآورنده: / edited by A. V. Fiacco and K. O. Kortanek
کتابخانه: کتابخانه مرکز روانپزشکی رازی (تهران)
موضوع: System analysis--Congresses,Programming (Mathematics)--Congresses,Game theory--Congresses,Economics, Mathematical--Congresses,Charnes, A.--(Abraham),--1917
رده :
QA402
.
I57
1977
65. Extremal methods and systems analysis : an international symposium on the occasion of Professor Abraham Charnes' sixtieth birthday, Austin, Texas, September 13-15, 1977
پدیدآورنده: International Symposium on Extremal Methods and Systems Analysis )7791, University of Texas at Austin(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System analysis-- Congresses,، Programming )Mathematics(-- Congresses,، Name theory-- Congresses,، Economics, Mathematical-- Congresses,، Charnes, A. )Abraham(, 7191-
رده :
QA
402
.
I57
1977
66. Fault detection & reliability :
پدیدآورنده: [edited by] M.G. Singh ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Fault location (Engineering)-- Congresses,Reliability (Engineering)-- Congresses,System analysis-- Congresses
رده :
TA169
.
6
.
E95
1986a
67. Fault detection & reliability: Knowledge based & other approaches
پدیدآورنده: )edited by(M.G.Singh...)et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Fault location )Engineering(,Congresses ، Reliability )Engineering(,Congresses ، System analysis
رده :
TA
169
.
6
.
E95
1987
68. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
69. Formal modeling and analysis of timed systems
پدیدآورنده: Marcin Jurdziński, Dejan Ničković (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
رده :
QA76
.
9
.
C65
F67
2012eb
70. Foundations of Software Science and Computation Structures
پدیدآورنده: \ Andrew Pitts (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستم‌ها -- کنگره ها ,نرمافزار رای‍ان‍ه ای -- کنگره ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
QA76
.
751
.
F67
2015
E-Book
,
71. Foundations of software science and computation structures
پدیدآورنده: Jerzy Tiuryn (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software, Congresses.,System analysis, Congresses.
72. Foundations of software science and computation structures : First International Conference, FoSSaCS'98 held as part of the joint European Conference on Theory and Practics of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده: Maurice Nivat )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
1378
73. Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
751
.
F67
1999
74. Foundations of software science and computation structures : Second International Conference, FoSSaCS'99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam the Netherlands March 22-28, 1999 : proceedings
پدیدآورنده: Wolfgang Thomas )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
1578
75. Foundations of software science and computation structures : Third International Conference, FoSSaCS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
پدیدآورنده: Jerzy Tiuryn )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
1784
76. Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده: Vladimiro Sassone )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
3441
77. Foundations of software science and computation structures : 4th International Conference, FoSSaCS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده: Furio Honsell, Marino Miculan )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
2030
78. Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
پدیدآورنده: Igor Walukiewicz )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
2987
79. Foundations of software science and computation structures : 5th international conference, FoSSaCS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
پدیدآورنده: Mogens Nielsen, Uffe Engberg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
2303
80. Foundations of software science and computational structures
پدیدآورنده: / Luke Ong (Ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: System analysis, Congresses
رده :
QA76
.
751
.
F67
2010
